Real-Time Extended Interface Automata for Software Testing Cases Generation
نویسندگان
چکیده
منابع مشابه
Real-Time Extended Interface Automata for Software Testing Cases Generation
Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) wh...
متن کاملReal - Time Speci cations into Extended Automata
We propose a method for the implementation and analysis of real-time systems, based on the compilation of speci cations into extended automata. Such a method has been already adopted for the so called \synchronous" real-time programming languages. The method is illustrated for a simple speci cation language that can be viewed as the extension of a language for the description of systems of comm...
متن کاملReal-time Testing with Timed Automata Testers
In previous work, we have proposed a framework for blackbox conformance testing of real-time systems based on timed automata specifications and two types of tests: analog-clock or digital-clock. Our algorithm to generate analog-clock tests is based on an on-the-fly determinization of the specification automaton during the execution of the test, which in turn relies on reachability computations....
متن کاملImproved Ant Algorithms for Software Testing Cases Generation
Existing ant colony optimization (ACO) for software testing cases generation is a very popular domain in software testing engineering. However, the traditional ACO has flaws, as early search pheromone is relatively scarce, search efficiency is low, search model is too simple, positive feedback mechanism is easy to produce the phenomenon of stagnation and precocity. This paper introduces improve...
متن کاملRole - based Interface Automata ∗ Extended
Component-based software system development is based on highly specialised components, each developed to meet different objectives, which are then composed into a system with an overall objective. We propose Role-based interface automata (RI automata) [2], a new formalism for modelling and reasoning about component-based systems. We focus on the actions exposed by interfaces, and their temporal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Scientific World Journal
سال: 2014
ISSN: 2356-6140,1537-744X
DOI: 10.1155/2014/731041